predicate calculus 예문
- The combinatorics was introduced by Ramsey to solve a special case of the decision problem for the first-order predicate calculus.
조합 램지에 의해 처음으로 주문 술어 수학에 대한 의사 결정 문제의 특수한 경우를 해결하기 위해 도입되었습니다. - He worked on mathematical logic solving certain cases of the decision problem for the first order predicate calculus, simplified results of Bernays , and worked on ideas of Post , Gödel and Church .
그는 첫 번째 순서는 수학적 논리 술어 미적분에 대한 결정이 문제의 해결 특정한 경우, 베르나의 결과를 단순에, 근무 및 게시, Gödel과 교회의 아이디어에서 일했다. - Thus, there exist extensions of the field of real numbers that possess all the properties of the system of real numbers that are formulated in the lower predicate calculus in terms of some given set of relations. Proper extensions of noncomplete theories are often referred to as non-standard models.
따라서, 이미 그 술어 낮은 미적분학에서 어떤 주어진 관계의 측면에서 공식화 진짜 숫자의 시스템의 모든 속성을 가진 실제의 숫자 필드의 확장이 존재합니다. noncomplete 이론의 적절한 확장을 종종 표준이 아닌 모델로 추천됩니다.
